منابع مشابه
On representable ordered residuated semigroups
We show that the equational theory of representable lattice-ordered residuated semigroups is not finitely axiomatizable. We apply this result to the problem of completeness of substructural logics.
متن کاملThe equational theories of representable residuated semigroups
We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results.
متن کاملRegular ordered semigroups and intra-regular ordered semigroups in terms of fuzzy subsets
Let $S$ be an ordered semigroup. A fuzzy subset of $S$ is anarbitrary mapping from $S$ into $[0,1]$, where $[0,1]$ is theusual interval of real numbers. In this paper, the concept of fuzzygeneralized bi-ideals of an ordered semigroup $S$ is introduced.Regular ordered semigroups are characterized by means of fuzzy leftideals, fuzzy right ideals and fuzzy (generalized) bi-ideals.Finally, two m...
متن کاملEnlargements of Regular Semigroups
Quasi-ideals were introduced by Otto Steinfeld [43] as those non-empty subsets Q of a semigroup T satisfying QTD TQ c Q. When T is regular they are precisely the subsets Q of T which satisfy QTQ = Q ([43, Theorem 9.3]). There are many examples of quasi-ideals in regular semigroup theory. We list below some of the most important: • Every subsemigroup of the form eSe (where e is an idempotent) is...
متن کاملResiduated Lattices, Regular Languages, and Burnside Problem
In this talk we are going to explore an interesting connection between the famous Burnside problem for groups, regular languages, and residuated lattices. Let K be a finitely axiomatized class of residuated lattices. Recall that the usual way of proving decidability of universal theory for K is to establish that K has the finite embeddability property (FEP) [2, 3]. It turns out that the method ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Edinburgh Mathematical Society
سال: 1992
ISSN: 0013-0915,1464-3839
DOI: 10.1017/s0013091500005770